x86: re-organize toggle_guest_*()
authorJan Beulich <jbeulich@suse.com>
Wed, 31 Jan 2018 11:35:52 +0000 (12:35 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 31 Jan 2018 11:35:52 +0000 (12:35 +0100)
commita890ea3be71eb6f52588217bd50685072ef818a8
tree16b7b711a8f46617ad1f7eaffc513f5565bd56fc
parenta3da661ad4b5331ef3a4398898c2f5d47b5a0698
x86: re-organize toggle_guest_*()

toggle_guest_mode() is only ever being called for 64-bit PV vCPU-s -
replace the 32-bit PV conditional by an ASSERT().

Introduce a local helper without 32-bit PV conditional, to be used by
both pre-existing functions.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/pv/domain.c